2361. Logical Methods
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
رده :
E-Book
,
2362. Logical Methods
پدیدآورنده : edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
2363. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
2364. Logicism renewed :
پدیدآورنده : Paul C. Gilmore
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
2
.
G55
2005
2365. Logicism renewed : logical foundations for mathematics and computer science
پدیدآورنده : Gilmore, Paul Carl, 5291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
23
2366. Logics of Programs :
پدیدآورنده : by E. Clarke, D. Kozen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
2368. Lukasiewicz-Moisil algebras /
پدیدآورنده : V. Boicescu [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Łukasiewicz algebras.,Łukasiewicz, Algèbres de.,Łukasiewicz algebras.,Lukasiewicz, algèbres de.,MATHEMATICS-- Algebra-- Intermediate.
رده :
QA10
.
L85
1991eb
2369. MATLAB 7 :
پدیدآورنده : Christoph Überhuber ; Stefan Katzenbeisser ; Dirk Praetorius.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Mathematics.,Computer science.,Computer software.,Mathematics.,MATLAB 7.0
رده :
QA76
.
75-76
.
765
2370. MATLAB for psychologists /
پدیدآورنده : Mauro Borgo, Alessandro Soranzo, Massimo Grassi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : MATLAB.,MATLAB.,Psychology-- Data processing.,Psychology-- statistics & numerical data.,Pyschometrics.,MATLAB,Psychology-- Data processing.
رده :
BF39
.
5
.
B67
2012
2371. MFDBS'89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989 : Proceedings
پدیدآورنده : J. Demetrovics, B. Thalheim, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Database management,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
364
2372. MFDBS 89: 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Database management,Mathematics Congresses ، Computer science
رده :
QA
76
.
9
.
D3
.
S975
1989
2373. MFDBS 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Database management,Congresses ، Expert systems )Computer science(,Mathematics Congresses ، Computer science
رده :
QA
76
.
9
.
D3
.
S973
1991
2374. MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings
پدیدآورنده : B. Thalheim, J. Demetrovics, H.-D. Gerhardt )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Database management,Congresses ، Expert systems )Computer science(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
495
2375. Machine Learning Augmentation Micro-Sensors for Smart Device Applications
پدیدآورنده : Hasan, Mohammad H.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Computer science,Mathematics,Mechanical engineering
2376. Machine Learning Augmentation Micro-Sensors for Smart Device Applications
پدیدآورنده : Hasan, Mohammad H.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Computer science,Mathematics,Mechanical engineering
2377. Machine intelligence and signal analysis /
پدیدآورنده : M. Tanveer, Ram Bilas Pachori, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Machine learning.,Signal processing.,Artificial intelligence.,COMPUTERS-- General.,Machine learning.,Signal processing.
رده :
Q325
.
5
2378. Machine learning for computer and cyber security :
پدیدآورنده : editors, Brij B. Gupta, Michael Sheng.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer networks-- Security measures-- Data processing.,Computer security-- Data processing.,Machine learning.,Artificial intelligence.,COMPUTERS-- Database Management-- Data Mining.,COMPUTERS-- General.,COMPUTERS-- Machine Theory.,Machine learning.,MATHEMATICS-- Arithmetic.
رده :
TK5105
.
59
2379. Machine learning in image steganalysis
پدیدآورنده : Hans Georg Schaathun
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data encryption (Computer science),Machine learning,Wavelets (Mathematics)
رده :
Q325
.
5
.
S285
2012
2380. Machine learning in medicine :
پدیدآورنده : Ton J. Cleophas, Aeilko H. Zwinderman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence-- Medical applications.,Machine learning.,Medical informatics.,Artificial Intelligence.,Artificial intelligence-- Medical applications.,Educational: Sciences, general science.,Machine learning.,Mathematics-- Probability & Statistics-- General.,Medical-- General.,Medical informatics.,Medical research.,Medicine: general issues.,Probability & statistics.,Science-- General.
رده :
R859
.
7
.
A78
C54
2015eb
